Computational group theory

Results: 124



#Item
11Homotopy theory / Homotopy groups of spheres / Freudenthal suspension theorem / EHP spectral sequence / Homotopy group / Hurewicz theorem / Stable homotopy theory / Spectral sequence / Algebraic topology / CW complex

UNSTABLE HOMOTOPY THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2012 Irakli Patchkoria The objective of the seminar is to discuss some structural and computational results from

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2012-07-11 04:30:26
12Cryptography / Zero-knowledge proof / Computational complexity theory / Proof of knowledge / IP / Presentation of a group

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-03-16 06:02:31
13Knowledge representation / Computational linguistics / WordNet / BabelNet / Question / Hyponymy and hypernymy / Argumentation theory / Semantic network / GermaNet

Using Semantic Web for Generating Questions: Do Different Populations Perceive Questions Differently? Nguyen-Thinh Le Humboldt-Universität zu Berlin Department of Informatics Research Group "Computer Science Education /

Add to Reading List

Source URL: cses.informatik.hu-berlin.de

Language: English - Date: 2015-12-26 16:07:05
14Lance Fortnow / Probabilistic complexity theory / BPP / Probabilistically checkable proof / Carsten Lund / Computational complexity theory

Interactive proofs April 12, L´ aszl´ o Babai. Trading group theory for randomness. In Proc. 17th STOC, pages 421–429. ACM Press, 1985. doi:22192.

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2014-04-12 05:40:19
15Computational complexity theory / Cryptography / Proof of knowledge / IP / Zero-knowledge proof / Interactive proof system

Cryptographic Protocols Spring 2015 POK for One-way Group Homomorphisms Fiat-Shamir protocol

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-03-16 06:12:25
16Complexity classes / Distributed computing / NP / Computational complexity theory / P / NC

Local Checkability, No Strings Attached Klaus-Tycho Förster, Thomas Lüdi, Jochen Seidel, Roger Wattenhofer Wednesday – December 09, 2015 @MIT: Theory of Distributed Systems Group ETH Zurich – Distributed Computing

Add to Reading List

Source URL: www.disco.ethz.ch

Language: English - Date: 2015-12-14 03:34:43
17Group theory / Computational group theory / Coset enumeration / Coset / ACE inhibitor / Index of a subgroup / Group / Accelerated Christian Education / Ace

ACE — A GAP4 Package Version 5.2 Based on ACE Standalone Version 3.001

Add to Reading List

Source URL: www.gap-system.org

Language: English - Date: 2016-06-10 09:36:55
18Mathematics / Algebra / Mathematical structures / Group theory / Areas of mathematics / Representation theory / C*-algebra / Operator theory / Computational mathematics / Vector space / Group representation / Duality

Microsoft Word - Tiitles for MSc Dissertations 2016final.doc

Add to Reading List

Source URL: www.mathsstudents.leeds.ac.uk

Language: English - Date: 2016-03-22 09:48:22
19Cryptography / Abstract algebra / Algebra / Computational hardness assumptions / Finite fields / DiffieHellman problem / Group theory / Elliptic curve cryptography / Provable security / Whitfield Diffie / DiffieHellman key exchange / Elliptic curve

Motivation - Exotic Security Assumptions in Cryptography Main Algorithm and Results Oracle-assisted Static DHP for binary curves On the Static Diffie-Hellman Problem on Elliptic Curves over Extension Fields

Add to Reading List

Source URL: 2010.eccworkshop.org

Language: English - Date: 2010-10-25 19:46:00
20

Lawrence Berkeley National Lab Capital Projects Update Presentation to Community Advisory Group March 14, 2013 Computational Research and Theory (CRT)

Add to Reading List

Source URL: www2.lbl.gov

- Date: 2013-05-22 17:43:08
    UPDATE